441. foundations of mathematics
Author: Gupta , Parmanand
Library: Central Library and Documentation Center (Semnan)
Subject: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G8F6
2008
442. روش های اثبات
Author: ولمن Velleman دانیل ج. , Daniel J.
Library: Vali Asr University Central Library (Kerman)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
Classification :
QA
9
/
و
8
ر
9
1400
443. روش‌های اثبات
Author: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
Classification :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
444. فلسفه ریاضیات
Author: دامت Dummett ، مایکل ا. ای. , Michael A. E.
Library: Vali Asr University Central Library (Kerman)
Subject: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
Classification :
QA
8/4
/
د
2
ف
8
1397
445. فلسفه ریاضیات
Author: مایکل دامت,دامت,Dummett
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
Classification :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
446. مفهوم‌نگاشت
Author: / گوتلوب فرِگه,فرگه,Frege
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
Classification :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
